var pages=[],	// array size is %d
	ref=[];		// array size is %d
function Page(title, file) {this.title=title; this.file=file;}
function load() {
